use "corecl.ML";

fun main () = holfoot_run (true, use);
